Logic Programming

Corpus-Based Incremental Intention Recognition via Bayesian Network Model Construction

Artificial Intelligence / Decision Making / Logic Programming / Intentionality / Bayesian Networks / Bayesian Inference / Intention Recognition / Bayesian Inference / Intention Recognition

Parallel management of large deductive databases in a multi-processor environment

Informatics / Knowledge Management / Logic Programming / Environmental Management / Memory Management / Parallel Processing / Prolog / Distributed Databases / Relational databases / System performance / Top Down / Rule Based / Parallel Processing / Prolog / Distributed Databases / Relational databases / System performance / Top Down / Rule Based

CORCORAN ON QUINE’S PHILOSOPHY OF LOGIC

Logic And Foundations Of Mathematics / Modal Logic / Logic / Computational Logic / Logic Programming / Learning and Teaching / Fuzzy Logic / History of Logic / Philosophical Logic / Epistemic Logic / Philosophy of Logic / Logical Constants / Mathematical Logic / Informal Logic / Deontic Logic / Fuzzy Logic Programming / History of Informal Logic / Functional Logic Programming / Lógica / Learning and Teaching / Fuzzy Logic / History of Logic / Philosophical Logic / Epistemic Logic / Philosophy of Logic / Logical Constants / Mathematical Logic / Informal Logic / Deontic Logic / Fuzzy Logic Programming / History of Informal Logic / Functional Logic Programming / Lógica

Common-sense reasoning as proto-scientific agent activity

Cognitive Science / Logic Programming / Pure Mathematics / Non-Monotonic Reasoning / Applied Logic / Abductive Reasoning / Integrity Constraints / Common Sense Reasoning / Abductive Reasoning / Integrity Constraints / Common Sense Reasoning

CORCORAN ON PUTNAM’S PHILOSOPHY OF LOGIC

Logic And Foundations Of Mathematics / Modal Logic / Logic / Computational Logic / Logic Programming / Fuzzy Logic / History of Logic / Fuzzy Logic Control / Philosophical Logic / Epistemic Logic / Philosophy of Logic / Logical Constants / Mathematical Logic / Platonism / Nominalism / Informal Logic / Deontic Logic / Fuzzy Logic Programming / History of Informal Logic / Functional Logic Programming / Lógica / Fuzzy Logic / History of Logic / Fuzzy Logic Control / Philosophical Logic / Epistemic Logic / Philosophy of Logic / Logical Constants / Mathematical Logic / Platonism / Nominalism / Informal Logic / Deontic Logic / Fuzzy Logic Programming / History of Informal Logic / Functional Logic Programming / Lógica

A relational model for confined separation logic

Software Engineering / Object Oriented Programming / Informatics / Semantics / Logic Programming / Relational Algebra / Reasoning / Separation Logic / Relational Model / Shape / Encapsulation / Mathematical Model / Logic Design / Relational calculus / Object Oriented Program / Relational Algebra / Reasoning / Separation Logic / Relational Model / Shape / Encapsulation / Mathematical Model / Logic Design / Relational calculus / Object Oriented Program

Solving even-parity problems using traceless genetic programming

Mathematics / Computer Science / Logic Programming / Genetic Programming / Genetic Algorithms / Digital Circuits / Computer Program / Circuit Analysis / Boolean Functions / Hybrid Method / Digital Circuits / Computer Program / Circuit Analysis / Boolean Functions / Hybrid Method

Fundamentos lógicos e implementación de una extensión a temporal Prolog

Logic Programming / Temporal Logic

Programación en lógica temporal basada en los operadores Since y Until

Logic Programming / Temporal Logic

Utilización de acertijos lógicos como ejercicios motivadores para la enseñanza de la programación lógica

Logic Programming

A paraconsistent logic programming approach for querying inconsistent databases

Information Retrieval / Artificial Intelligence / Statistics / Semantics / Logic Programming / Information Integration / Paraconsistent logic / Knowledge Engineering / Multiplicity / Imperfect information / Knowledge base / Query Languages / Approximate Reasoning / Numerical Analysis and Computational Mathematics / Datalog / Bottom Up / Database Languages / Database / Deductive Databases / Information Integration / Paraconsistent logic / Knowledge Engineering / Multiplicity / Imperfect information / Knowledge base / Query Languages / Approximate Reasoning / Numerical Analysis and Computational Mathematics / Datalog / Bottom Up / Database Languages / Database / Deductive Databases

Descripción VHDL de un microcontrolador

Logic Programming / Hardware Description Languages / Vhdl

Método integrado de programación secuencial y programación orientada a objetos para el análisis, diseño y elaboración de algoritmos-MIPSOO

Algorithms / Software Engineering / Object Oriented Programming / Logic Programming

A general similarity framework for horn clause logic

Logic Programming / First Order Logic

Copyright © 2017 DATOSPDF Inc.